DEFINITION MODULE IO; (* Ned 02-Aug-88. (c) KRONOS *)

IMPORT SYSTEM;

PROCEDURE w(c: CHAR);
PROCEDURE ws(s: ARRAY OF CHAR);
PROCEDURE wi(n: INTEGER);
PROCEDURE time(): INTEGER;
PROCEDURE print(s: ARRAY OF CHAR; SEQ args: SYSTEM.WORD);

PROCEDURE WriteString(s: ARRAY OF CHAR);
PROCEDURE WriteLn;
PROCEDURE WriteInt(val: INTEGER; width: INTEGER);
PROCEDURE WriteFix(val: REAL; width,dots: INTEGER);

END IO.
